// Copyright (C) Kumo inc. and its affiliates.
// Author: Jeff.li lijippy@163.com
// All rights reserved.
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU Affero General Public License as published
// by the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU Affero General Public License for more details.
//
// You should have received a copy of the GNU Affero General Public License
// along with this program.  If not, see <https://www.gnu.org/licenses/>.
//


#include <melon/string.h>
#include <melon/init/init.h>
#include <gtest/gtest.h>
#include <string>
#include <unordered_map>
#include <unordered_set>

#include <pollux/plan/expr_transformer.h>
#include <pollux/plan/reference_query_runner.h>
#include <pollux/testing/expression/expression_fuzzer_verifier.h>
#include <pollux/testing/expression/special_form_signature_generator.h>
#include <pollux/functions/function_registry.h>

namespace kumo::pollux::fuzzer {
    using namespace kumo::pollux::plan;

    /// FuzzerRunner leverages ExpressionFuzzerVerifier to create a gtest unit test.
    class FuzzerRunner {
    public:
        /// @param signatureGenerator Generates valid signatures for special forms.
        static int run(
            size_t seed,
            const std::unordered_set<std::string> &skipFunctions,
            const std::unordered_map<std::string, std::shared_ptr<ExprTransformer> > &
            exprTransformers,
            const std::unordered_map<std::string, std::string> &queryConfigs,
            const std::unordered_map<std::string, std::shared_ptr<ArgTypesGenerator> > &
            argTypesGenerators,
            const std::unordered_map<
                std::string,
                std::shared_ptr<ArgValuesGenerator> > &argValuesGenerators,
            std::shared_ptr<ReferenceQueryRunner> referenceQueryRunner,
            const std::shared_ptr<SpecialFormSignatureGenerator> &signatureGenerator);

        /// @param signatureGenerator Generates valid signatures for special forms.
        static void runFromGtest(
            size_t seed,
            const std::unordered_set<std::string> &skipFunctions,
            const std::unordered_map<std::string, std::shared_ptr<ExprTransformer> > &
            exprTransformers,
            const std::unordered_map<std::string, std::string> &queryConfigs,
            const std::unordered_map<std::string, std::shared_ptr<ArgTypesGenerator> > &
            argTypesGenerators,
            const std::unordered_map<
                std::string,
                std::shared_ptr<ArgValuesGenerator> > &argValuesGenerators,
            std::shared_ptr<ReferenceQueryRunner> referenceQueryRunner,
            const std::shared_ptr<SpecialFormSignatureGenerator> &signatureGenerator);
    };
} // namespace kumo::pollux::fuzzer
